Order theory

Results: 3266



#Item
621Ring theory / Modulo / Multiplicative order / RSA / Prime number / Quadratic residue / Hill cipher / Abstract algebra / Mathematics / Modular arithmetic

Public Key Cryptography How mathematics allows us to send our most secret messages quite openly without revealing their contents except only to those who are supposed to read them

Add to Reading List

Source URL: www.cimt.plymouth.ac.uk

Language: English - Date: 2005-08-11 13:02:39
622Symbol / Structure / Model theory / Mathematics / Logic / Automata theory / Models of computation / Pushdown automaton

Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:22:59
623Group theory / Order / Optimization problem / NP-complete problems / Network flow / Combinatorial optimization / Theoretical computer science / Mathematics / Computational complexity theory

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 A PTAS for the continuous 1.5D Terrain Guarding Problem Stephan Friedrichs∗ Michael Hemmer∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2014-07-28 18:32:50
624Combinatorics / Sorting network / Bitonic sorter / Merge sort / Heapsort / Ken Batcher / Quicksort / Sorting / Sort / Sorting algorithms / Order theory / Mathematics

Chapter 4 Distributed Sorting “Indeed, I believe that virtually every important aspect of programming arises somewhere in the context of sorting [and searching]!” – Donald E. Knuth, The Art of Computer Programming

Add to Reading List

Source URL: dcg.ethz.ch

Language: English - Date: 2014-09-26 08:28:48
625NP-complete problems / Order theory / Bipartite graph / Parity / Partially ordered set / Covering graph / FO / Interval graph / Vertex cover / Graph theory / Theoretical computer science / Mathematics

On the Pagenumber of Bipartite Orders Mustafa Alhashem∗ Guy-Vincent Jourdan∗ ∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2005-07-31 13:55:47
626Order theory / Quicksort / Algorithm / Merge sort / Time complexity / Selection algorithm / Sorting network / Randomized algorithm / Self-balancing binary search tree / Mathematics / Sorting algorithms / Theoretical computer science

CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Cole’s Parametric Search Technique Made Practical Michael T. Goodrich Pawel Pszona

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2013-08-11 21:51:56
627C / Software engineering / Programming language theory / Computing / Nintendo Entertainment System / DEC Alpha

Super DLTtape VOL-SER Label Ordering Instructions In order to avoid delays in processing your label order, please follow the ordering instructions outlined below. All required fields must be completed.

Add to Reading List

Source URL: www.fujifilmusa.com

Language: English - Date: 2006-09-14 19:11:48
628Logical syntax / Philosophy of language / Model theory / First-order logic / Interpretation / Predicate / Substitution / Well-formed formula / Proposition / Logic / Propositional calculus / Mathematical logic

Microsoft Word - ijita12-2.doc

Add to Reading List

Source URL: www.foibg.com

Language: English - Date: 2015-02-02 08:42:05
629Abstract algebra / Ultrafilter / Filter / Inverse limit / Fréchet filter / Limit / Initial and terminal objects / Ideal / Sheaf / Mathematics / Order theory / Structure

A CATEGORICAL CONSTRUCTION OF ULTRAFILTERS arXiv:0710.2497v2 [math.CT] 13 May 2009 DANIEL LITT, ZACHARY ABEL, AND SCOTT D. KOMINERS

Add to Reading List

Source URL: zacharyabel.com

Language: English - Date: 2012-12-19 11:02:07
630Higher-order functions / Recursion / Functions and mappings / Computability theory / Fold / Lambda calculus / Map / Function / Antiderivative / Mathematics / Mathematical analysis / Computing

Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori

Add to Reading List

Source URL: www.sic.shibaura-it.ac.jp

Language: English - Date: 2008-10-23 00:04:30
UPDATE